<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en-AU">
  <head>
    <meta http-equiv="content-type" content="application/xhtml+xml; charset=utf-8" />
    <meta name="author" content="Lubos Brim" />
    <meta name="generator" content="GNU Emacs" />
    <link rel="icon" href="pics/divine-ico.png" type="image/x-icon" />
    <link rel="stylesheet" type="text/css" href="divine-screen.css" media="screen, tv, projection" title="Default" />

    <title>Welcome to DiVinE!</title>
  </head>

  <body>
    <!-- For non-visual user agents: -->
      <div id="top"><a href="#main-copy" class="doNotDisplay doNotPrint">Skip to main content.</a></div>

    <!-- ##### Header ##### -->

    <div id="header">
      <div class="superHeader">
        <span>Quick Links:</span>
        <a href="http://www.fi.muni.cz/paradise/" title="ParaDiSe laboratories">PARADISE LABS</a> |
        <a href="divine-cluster.html" title="Divine Cluster pages">DIVINE CLUSTER</a> |
	<a href="divine-mc.html" title="Divine Multi-Core pages">DIVINE MULTI-CORE</a> |
	<a href="divine-cuda.html" title="Divine CUDA pages">DIVINE CUDA</a> |
	DIVINE I-O  <!-- <a href="page.php?page=divine-io" title="Divine External-Memory pages">DIVINE I-O</a>  --> |
        <a href="probdivine.html" title="ProbDivine pages">PROB-DIVINE</a> |
	BIO-DIVINE  <!-- <a href="page.php?page=biodivine" title="BioDivine pages">BIO-DIVINE</a> -->
      </div>

      <div class="midHeader">
          <h1 class="headerTitle">DIVINE</h1>
          <div class="headerSubTitle">Distributed and Parallel Verification Environment</div>

        <br class="doNotDisplay doNotPrint" />
        <div class="headerLinks">
	</div>
      </div>
      <div class="subHeader">
        <span class="doNotDisplay">Navigation:</span>
        <a href="index.html">Main Page</a> |
        <a href="overview.html">DiVinE Overview</a> |
        <a href="language.html">Language Guide</a> |
        <a href="tool.html">Tool Guide</a> |
        <a href="publications.html">Publications</a> |
        <a href="casestudies.html">Experiments</a> |
        Benchmarking  <!-- <a href="page.php?page=benchmark">Benchmarking</a> --> | 
        <a href="http://divine.fi.muni.cz/page.php?page=download">Download</a> |
        <a href="contact.html">Contact us</a>
      </div>
    </div>

   <!-- ##### Main Copy ##### -->
    <div id="main-copy">
      <div class="rowOfBoxes">
          <h1><img src="pics/divine-logo.png"/> Welcome to DiVinE!</h1>
	  
<p>The goal of Distributed Verification Environment project DIVINE is to provide
an extensible framework to support verification and analysis of large-scale
computer systems on parallel architectures.  DIVINE is a
collection of state-of-the-art verification algorithms incorporated
into a several tools which are as easy to install as most
sequential tools.
</p>

<p>DIVINE accomodates also two domain specific tools. BIO-DIVINE is
intended for analysis of complex biological systems, <a href="probdivine.html">PROB-DIVINE</a> is a tool for
verification of finite-state probabilistic systems. DIVINE offers specifically
tailored versions for distributed-memory architectures (like clusters of
workstations) - <a href="divine-cluster.html">DIVINE CLUSTER</a>, 
for shared-memory architectures (like multi-core
machines) - <a href="divine-mc.html">DIVINE MULTI-CORE</a>, 
for General Purpose GPUs - <a href="divine-cuda.html">DIVINE 
CUDA</a>, and for I/O efficient usage of external 
memory
devices (like parallel hard-disks) - DIVINE I-O.  
</p>


<p>DIVINE is free for non-profit
use, e.g. for evaluation, research, and teaching purposes.</p>

        </div>
 
    </div>

    <!-- ##### Footer ##### -->
    <div id="footer">
<span>Copyright &copy; 2002-2008 ParaDiSe Labs, Faculty of Informatics, Masaryk
University, Brno, Czech Republic</span><br />
      <strong>Updated &raquo;</strong>Friday, 6 Mar 2009 09:39 CEST<br />
    </div>
  </body>
</html>
